Sistema B,C,K,W

Sistema B,C,K,W
Presentación Haskell Curry, en su tesis doctoral [GKL], propuso ya un sistema con las características funcionales separadas: asociación, conversión, cancelación y duplicación. Si además pedimos combinadores regulares, propios y (y entre estos, los minimales) quedan, con la nomenclatura actual, B, C, K y W. Como es difícil tener el sistema de axiomas combinatorios original reproducimos aquí la versión dada en Rosenbloom 1950. ([EML] usa prefijo de aplicación que convertimos a la notación infija usual y en el contexto de recuperar [GKL] deja I sin definir: por tanto, cuidado con lo que sigue!)

Enciclopedia Universal. 2012.

Игры ⚽ Поможем сделать НИР

Mira otros diccionarios:

  • sistema — |ê| s. m. 1. Conjunto de princípios verdadeiros ou falsos reunidos de modo que formem um corpo de doutrina. 2. Combinação de partes reunidas para concorrerem para um resultado, ou de modo a formarem um conjunto: Sistema nervoso; sistema… …   Dicionário da Língua Portuguesa

  • sistema — sustantivo masculino 1. Conjunto organizado de principios, reglas, instituciones, que rigen una cosa: sistema económico, sistema jurídico, sistema de gobierno. 2. Área: anatomía, biología Conjunto de órganos conectados entre sí, que contribuyen a …   Diccionario Salamanca de la Lengua Española

  • sistema — (Del lat. systēma, y este del gr. σύστημα). 1. m. Conjunto de reglas o principios sobre una materia racionalmente enlazados entre sí. 2. Conjunto de cosas que relacionadas entre sí ordenadamente contribuyen a determinado objeto. 3. Biol. Conjunto …   Diccionario de la lengua española

  • sistema — sistemà sf. (2) Š, DŽ, NdŽ, TrpŽ; Rtr, L 1. planingas, taisyklingas sudedamųjų dalių išdėstymas: Sistema – aibė elementų, kuriuos sieja tam tikri santykiai bei ryšiai, sudarantys vienybę rš. Sekos sistema SkŽ276. Klaidų radimo sistema SkŽ273. 2 …   Dictionary of the Lithuanian Language

  • Sistema B — Sistema B,C,K,W Saltar a navegación, búsqueda El sistema B, C, K, W es una variante de lógica combinatoria que toma como primitivas a los combinadores B, C, K, and W. Este sistema fue propuesto originalmente por Haskell Curry en su tesis doctoral …   Wikipedia Español

  • sistema — m. anat. Conjunto de órganos que están formados por un mismo tejido y tienen una única función, como por ejemplo, el sistema circulatorio, nervioso, etc. Medical Dictionary. 2011. sistema …   Diccionario médico

  • sistema — statusas T sritis švietimas apibrėžtis Pedagoginė tikslų, turinio, priemonių, metodų ir formų visuma, kaip spręsti problemą ar atlikti darbą, atsižvelgiant į pedagogų ir ugdytinių savybes ir situaciją. Kiekvienas objektas yra sistema, pvz.,… …   Enciklopedinis edukologijos žodynas

  • sistema — acusatorio sistema crediticio sistema económico sistema inquisitivo Economía. Grupo de elementos o componentes interdependientes que pueden ser identificados y tratados como un conjunto …   Diccionario de Economía Alkona

  • sistema — acusatorio sistema crediticio sistema económico sistema inquisitivo Economía. Grupo de elementos o componentes interdependientes que pueden ser identificados y tratados como un conjunto …   Diccionario de Economía

  • sistema — statusas T sritis Kūno kultūra ir sportas apibrėžtis Bendros funkcijos siejamų organų visuma (pvz., širdies ir kraujagyslių sistema, kvėpavimo sistema, nervų sistema). kilmė gr. systema – sandara, junginys atitikmenys: angl. system vok. System, n …   Sporto terminų žodynas

  • Sistema 49 — (System 49) fue el diseño de transbordador espacial soviético que siguió al cancelado Spiral y que precedió al concepto MAKS. El orbitador habría tenido una masa de 13 toneladas y habría sido capaz de poner 4 toneladas en órbita, que… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”